A General Type for Storage Operators
نویسنده
چکیده
In 1990, J.L. Krivine introduced the notion of storage operator to simulate, in λ-calculus, the ”call by value” in a context of a ”call by name”. J.L. Krivine has shown that, using Gődel translation from classical into intuitionistic logic, we can find a simple type for storage operators in AF2 type system. In this present paper, we give a general type for storage operators in a slight extension of AF2. We give at the end (without proof) a generalization of this result to other types.
منابع مشابه
Operation Planning of Wind Farms with Pumped Storage Plants Based on Interval Type-2 Fuzzy Modeling of Uncertainties
The operation planning problem encounters several uncertainties in terms of the power system’s parameters such as load, operating reserve and wind power generation. The modeling of those uncertainties is an important issue in power system operation. The system operators can implement different approaches to manage these uncertainties such as stochastic and fuzzy methods. In this paper, new ...
متن کاملOn the Diagram of One Type Modal Operators on Intuitionistic fuzzy sets: Last expanding with $Z_{alpha ,beta }^{omega ,theta
Intuitionistic Fuzzy Modal Operator was defined by Atanassov in cite{at3}in 1999. In 2001, cite{at4}, he introduced the generalization of thesemodal operators. After this study, in 2004, Dencheva cite{dencheva} definedsecond extension of these operators. In 2006, the third extension of thesewas defined in cite{at6} by Atanassov. In 2007,cite{gc1}, the authorintroduced a new operator over Intuit...
متن کاملError bounds in approximating n-time differentiable functions of self-adjoint operators in Hilbert spaces via a Taylor's type expansion
On utilizing the spectral representation of selfadjoint operators in Hilbert spaces, some error bounds in approximating $n$-time differentiable functions of selfadjoint operators in Hilbert Spaces via a Taylor's type expansion are given.
متن کاملEssential norm estimates of generalized weighted composition operators into weighted type spaces
Weighted composition operators appear in the study of dynamical systems and also in characterizing isometries of some classes of Banach spaces. One of the most important generalizations of weighted composition operators, are generalized weighted composition operators which in special cases of their inducing functions give different types of well-known operators like: weighted composition operat...
متن کاملSandwich-type theorems for a class of integral operators with special properties
In the present paper, we prove subordination, superordination and sandwich-type properties of a certain integral operators for univalent functions on open unit disc, moreover the special behavior of this class is investigated.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Math. Log. Q.
دوره 41 شماره
صفحات -
تاریخ انتشار 1995